An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch

نویسندگان

  • J. Michael Kamrad
  • Barry A. Spinney
چکیده

The Top Layer Networks AppSwitch is a coordinated hardware and software Layer 7-application switch designed to provide User and Application Quality of Service (QoS) and Operational Automation for data communication networks by automatically prioritizing network traffic according to the application to which the traffic belongs. The AppSwitch software was developed in Ada95 (A companion paper describes how that software was built [1]). The nature of the application and the need for efficiency has dictated that the use of multiple task communication and synchronization be kept simple and straightforward. As a result, the communication and synchronization needs are very similar those defined in the Ravenscar Profile. Top Layer Networks found it necessary to construct an Ada runtime system that efficiently supported the Ravenscar Profile. The construction strategy was to tailor the GNAT runtime system in three ways: (1) Simplify the functionality of the Ada specific layer of the runtime system to support only the Ravenscarlike profile; (2) Reduce number and the “thickness” of layers in GNAT runtime system; and (3) Construct a POSIX-compatible “kernel” that is simplified for bare machine execution. The paper will describe the details of Ravenscar Profile runtime design and will summarize the impact of this runtime system on the performance of AppSwitch software.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Formal Model of a Run-Time Kernel for Ravenscar

The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Raven...

متن کامل

The Ravenscar Tasking Profile – Experience Report

The Ravenscar Profile was defined at the 8 International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada compiler vendor Aonix subsequently implemented the Profile via its Raven product line, and is currently engaged in producing the formal certification...

متن کامل

The ESA Ravenscar Benchmark

This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it p...

متن کامل

Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT)

Ada has been successfully used in many dependable real−time applications, which have undoubtedly benefit of its major strengths: The well defined language semantics [1], the strong type checking, structuring mechanisms like packages and not to forget the Ada Semantic Interface Standard [2] supporting the development of code analysis, verification and testing tools. But an Ada system can not be ...

متن کامل

An Open Ravenscar Real-Time Kernel for GNAT

This paper describes the architecture of ORK, an open source realtime kernel that implements the Ravenscar profile for the GNAT compilation system on a bare ERC32 computer. The kernel has a reduced size and complexity, and has been carefully designed in order to make it possible to build reliable software for on-board space applications. The kernel is closely integrated with the GNAT runtime li...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999